Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
نویسندگان
چکیده
منابع مشابه
GTEngine: Arbitrary Precision Arithmetic
3 Binary Scientific Numbers 9 3.1 Multiplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.2 Addition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2.1 The Case p− n > q −m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2.2 The Case p− n < q −m . . . . . . . . ....
متن کاملArbitrary Precision Arithmetic - SIMD Style
Current day general purpose processors have been enhanced with what is called " media instruction set " t o achieve performance gains in applications that are media processing intensive. The instruction set that have been added exploit the fact that media applications have small native datatypes and have widths much less than that supported by commercial processors and the plethora of data-para...
متن کاملVariable-precision, interval arithmetic coprocessors
This chapter presents the design and analysis of variable-precision, interval arithmetic processors. The processors give the user the ability to specify the precision of the computation, determine the accuracy of the results, and recompute inaccurate results with higher precision. The processors support a wide variety of arithmetic operations on variable-precision oating point numbers and inter...
متن کاملNumerical integration in arbitrary-precision ball arithmetic
We present an implementation of arbitrary-precision numerical integration with rigorous error bounds in the Arb library. Rapid convergence is ensured for piecewise complex analytic integrals by use of the Petras algorithm, which combines adaptive bisection with adaptive Gaussian quadrature where error bounds are determined via complex magnitudes without evaluating derivatives. The code is gener...
متن کاملAlgorithms for arbitrary precision floating point arithmetic
We present techniques which may be used to perform computations of very high accuracy using only straightforward oating point arithmetic operations of limited precision, and we prove the validity of these techniques under very general hypotheses satissed by most implementations of oating point arithmetic. To illustrate the application of these techniques, we present an algorithm which computes ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 2017
ISSN: 0018-9340
DOI: 10.1109/tc.2017.2690633